ПОРЕЦКИЙ Платон Сергеевич

(3(15). ЮЛ 846, Елизаветград Херсонской губ. - 10(23).08.1907, с. Жоведь Черниговской губ.)

   логик, естествоиспытатель, публицист. В 1870 г. закончил физико-математический ф-т Харьковского ун- | та. В 1876 г. назначен астрономом-наблюдателем Казанского ун-та, получил степень доктора астрономии и звание приват-доцента сферической тригонометрии. Несколько лет был редактором казанской газ. "Телеграф". На основе работы "О способах решения логических равенств и об обратном способе математической логики" (Собрание протоколов заседаний секции физико-математических наук при Казанском университете. Казань, 1884. Т.2.С. 161–330) впервые в России читал в Казанском ун-те лекции по алгебре логики. Исходил из различения "количественных форм", изучаемых алгеброй, и "качественных форм", исследуемых логикой. П. усматривал и сходство (до определенных пределов) обеих наук, к-рое объясняет возможность модификаций и приспособления алгебраических приемов к логике. Результаты своих исследований П. представил в написанных на фр. яз. работах "Семь основных законов теории логических равенств" (Poretzky P. S. Sept lois fondamentales de la theorie des egalites logiques // ' Известия физико-математического общества при Казанском университете. Сер. 2. Т. 8. № 2–4. Казань, 1898–1899), "Некоторые дополнительные законы теории логических равенств" и "Теория логических неравенств" (Quelques lois ulterienres de la theorie des egalites logiques // Там же. Сер. 2. Т. 10. № 1–3. Казань, 1900; Т. 11. № 1–3. Казань, 1900–1901; Theorie des non-egalites logiques // Там же. Т. 14. Казань, 1904). П. насчитывал семь осн. законов теории логических равенств: 1) форма посылок; 2) замещения системы посылок одной посылкой; 3) разложения посылок на элементы; 4) исключения терминов из посылок; 5) умозаключений или следствий; 6) сложных оснований; 7) корней. Все эти законы являются усовершенствованием и обобщением алгебро-логических приемов Дж. Буля, У. С. Джевонса и Э. Шредера. Идеи П. повлияли на проблематику и исследования в области традиционной и символической логики в России и на Западе. Так, фр. логик Л. Кутюра считал методы П. кульминационным пунктом в развитии алгебры логики в нач. XX в. Велико значение трудов П. также для проблематики и исследований в области традиционной логики в России.

   ◘ Л и т.: Дубяго Д. И. П. С. Порепкий (некролог) // Известия физико-математического общества при Казанском университете. Сер. 2. 1908. № 1. С. 3–7; Слешинский И. В. Памяти Порецкого // Вестник опытной физики и элементарной математики. Одесса, 1909. № 487. С. 145–148; Стяжкин Н. И., Стоков В. Д. Краткий очерк истории общей и математической логики в России. М, 1962. С. 41–66.

   А. В. Иванов, Н. И. Стяжкин